I somehow deleted the update-to-2.0.0 branch when trying to push a version with 2f23373 cherry-picked onto it. With deleting the branch, it also made the PR disappear. Sorry, lesson learned. I'll be more careful in the future.

Checklist

• User's Guide has been updated if needed
• Developer's Guide has been updated if needed
• API documentation lists any new or modified class, method, or function
• Documentation builds cleanly and changes look as expected
• Tests pass and new features are covered by tests
• PR description includes a summary and any relevant issue references
• Testing comment, if appropriate, in the PR documents testing used to verify the changes